Two Sum II proof